Using meta - logic to reconcilereactive with rational agents 1
نویسنده
چکیده
In this paper I outline an attempt to reconcile the traditional Artii-cial Intelligence notion of a logic-based rational agent with the contrary notion of a reactive agent that acts \instinctively" in response to conditions that arise in its environment. For this purpose, I will use the tools of meta-logic programming to deene the observation-thought-action cycle of an agent that combines the ability to perform resource-bounded reasoning, which can be interrupted and resumed any time, with the ability to act when it is necessary.
منابع مشابه
Using Meta-logic to Reconcile Reactive with Rational Agents 1.1 Introduction
In this paper I outline an attempt to reconcile the traditional Artiicial Intelligence notion of a logic-based rational agent with the contrary notion of a reactive agent that acts \instinctively" in response to conditions that arise in its environment. For this purpose, I will use the tools of meta-logic programming to deene the observation-thought-action cycle of an agent that combines the ab...
متن کاملExplaining the Level of Human Thought in the Parallel Civilizations Based on Formal Structure and Visual Imagination Formed in Mythical Narratives
Myth, like any other form of narrative, has an undeniable role in visual imagination based on the foundations of mythical thought. Ernst Cassirer, by recovering the fundamental principles of mythical thought, brings against them to the foundations of contemporary rational thought and defines the fundamental features of mythical thought as compared to modern rational thought. He also believes t...
متن کاملA review of “ Reasoning About Rational Agents ”
Reasoning About Rational Agents is concerned with developing practical reasoning (as contrasted with theoretical reasoning) for rational computer agents within the “Belief, Desire, Intention” model. The BDI model for computer agents is based on the theory of rational action in humans put forward in 1988 by the philosopher M. Bratman in his book Intention, Plans and Practical Reason. BDI logics ...
متن کاملDesign of a Fuzzy Controller Chip with New Structure, Supporting Rational-Powered Membership Functions
In this paper, a new structure possessing the advantages of low-power consumption, less hardware and high-speed is proposed for fuzzy controller. The maximum output delay for general fuzzy logic controllers (FLC) is about 86 ns corresponding to 11.63 MFLIPS (fuzzy logic inference per second) while this amount of the delay in the designed fuzzy controller becomes 52ns that corresponds to 19.23 M...
متن کاملRational agents and the processes and states of negotiation
This thesis shows how a verified and unambiguous theory of a protocol with known properties enables rational agents to interact in a negotiation process and to finally satisfy their goals using strategies and plans. This is achieved through an application of an extended form of propositional dynamic logic in the verification, validation and reasoning about interaction protocols in a multi-agent...
متن کامل